『Formal Methods and the WebAssembly Specification』
Formal Methods and the WebAssembly Specification. 2019
https://www.cl.cam.ac.uk/~caw77/slides/srepls.pdf
Isabelle/HOL
で約11000行ぐらいでWebAssemblyの形式的な仕様が証明できた
証明を書いたことで些細な「構文上の」エラーや深い「意味論上の」エラーを見つけることができた
『Bringing the web up to speed with WebAssembly』
srepls/srepls.github.io: SREPLS homepage
S-REPLS 11(Facebook ロンドン、2019-02-08)とあるのでたぶん2019年のスライド
#文献
#WebAssembly
#形式手法